home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / eiffel / smalleif.97 / se.t / SmallEiffel / lib_test / test_expanded12.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  796 b   |  43 lines
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class TEST_EXPANDED12
  5.    --
  6.    -- Written by Marc SCALZOLARO
  7.    --
  8. creation {ANY}
  9.    make
  10.    
  11. feature {ANY}
  12.    
  13.    make is
  14.       local
  15.      e1, e2: EXPANDED1;
  16.       do
  17.      is_true(e1.x = 0);
  18.      is_true(test_equal (e1, e2));
  19.      e1.set_x(2);
  20.      is_true(e1.x = 2);
  21.       end;
  22.    
  23.    is_true(b: BOOLEAN) is
  24.       do
  25.      cpt := cpt + 1;
  26.      if not b then
  27.         std_output.put_string("TEST_EXPANDED1: ERROR Test # ");
  28.         std_output.put_integer(cpt);
  29.         std_output.put_string("%N");
  30.      else
  31.         -- std_output.put_string("Yes%N");
  32.      end;
  33.       end;
  34.    
  35.    test_equal(e1, e2: EXPANDED1): BOOLEAN is
  36.       do
  37.      Result := e1 = e2;
  38.       end;
  39.    
  40.    cpt: INTEGER;
  41.    
  42. end -- TEST_EXPANDED12
  43.